Propositional logic has been recognized throughout the centuries as one of the cornerstones of reasoning in philosophy and mathematics. Over time, its formalization into Boolean algebra was accompanied by the recognition that a wide range of combinatorial problems can be expressed as propositional satisfiability (SAT) problems. Because of this dual role, SAT developed into a mature, multi-faceted scientific discipline, and from the earliest days of computing a search was underway to discover how to solve SAT problems in an automated fashion. (...) This book, the Handbook of Satisfiability, is the second, updated and revised edition of the book first published in 2009 under the same name. The handbook aims to capture the full breadth and depth of SAT and to bring together significant progress and advances in automated solving. Topics covered span practical and theoretical research on SAT and its applications and include search algorithms, heuristics, analysis of algorithms, hard instances, randomized formulae, problem encodings, industrial applications, solvers, simplifiers, tools, case studies and empirical results. SAT is interpreted in a broad sense, so as well as propositional satisfiability, there are chapters covering the domain of quantified Boolean formulae (QBF), constraints programming techniques (CSP) for word-level problems and their propositional encoding, and satisfiability modulo theories (SMT). An extensive bibliography completes each chapter. This second edition of the handbook will be of interest to researchers, graduate students, final-year undergraduates, and practitioners using or contributing to SAT, and will provide both an inspiration and a rich resource for their work. Edmund Clarke, 2007 ACM Turing Award Recipient: "SAT solving is a key technology for 21st century computer science." Donald Knuth, 1974 ACM Turing Award Recipient: "SAT is evidently a killer app, because it is key to the solution of so many other problems." Stephen Cook, 1982 ACM Turing Award Recipient: "The SAT problem is at the core of arguably the most fundamental question in computer science: What makes a problem hard?". (shrink)

Dynamic Epistemic Logic This article tells the story of the rise of dynamic epistemic logic, which began with epistemic logic, the logic of knowledge, in the 1960s. Then, in the late 1980s, came dynamic epistemic logic, the logic of change of knowledge. Much of it was motivated by puzzles and paradoxes. The number … Continue reading Dynamic Epistemic Logic →.

In this analysis we discuss the change in criteria for triage of patients during three different phases of a pandemic like COVID-19, seen from the critical care point of view. Availability of critical care beds has become a hot topic, and in many countries, we have seen a huge increase in the provision of temporary intensive care bed capacity. However, there is a limit where the hospitals may run out of resources to provide critical care, which is heavily dependent on (...) trained staff, just-in-time supply chains for clinical consumables and drugs and advanced equipment. In the first phase, we can still do clinical prioritisation and decision-making as usual, based on the need for intensive care and prognostication: what are the odds for a good result with regard to survival and quality of life. In the next, the resources are mostly available, but the system is stressed by many patients arriving over a short time period and auxiliary beds in different places in the hospital being used. We may have to abandon admittance of patients with doubtful prognosis. In the last phase, usual medical triage and priority setting may not be sufficient to decrease inflow and there may not be enough intensive care unit beds available. In this phase different criteria must be applied using a utilitarian approach for triage. We argue that this is an important transition where society, and not physicians, must provide guidance to support triage that is no longer based on medical priorities alone. (shrink)

Seks is overal. In kranten en tijdschriften, in advertenties op bushokjes, op televisie en het internet, op Instagram en Snapchat. Seks beheerst en betovert onze beeldcultuur. Af en toe roept die onafgebroken stroom van seksuele beelden kritiek op. We lezen over de ‘pornoficatie’ van onze cultuur en hoe de modeindustrie zelfs kinderen verleidt om sexy strings te kopen. We horen dat we aan porno verslaafd zijn, dat alles van waarde vervliegt en dat we steeds intensere prikkels nodig hebben. Een zeldzame (...) keer merkt iemand op dat de constante seksuele objectivering van vrouwenlichamen de genderongelijkheid in stand houdt. Als seks overal is, is het niet verwonderlijk dat seks ook in kunst te vinden is. Kunst en pornografie lijken elkaar uit te sluiten: het ene maakt het mooiste en het beste in ons wakker, het andere onderwerpt ons aan hitsigheid en dierlijkheid. Het ene viert de schoonheid van de vrouw, het andere is een kwestie van geweld en onderwerping. Toch is de relatie tussen kunst en pornografie genuanceerder dan ze op het eerste gezicht lijkt. In deze filosofische verkenning nemen filosofen Petra Van Brabandt en Hans Maes zowel kunst als pornografie onder de loep en ontdekken ze dat de dingen soms helemaal niet zijn wat ze lijken. (shrink)

We propose a separation logic where resources are histories (sequences) of epistemic actions so that resource update means concatenation of histories and resource decomposition means splitting of histories. This separation logic, called AMHSL, allows us to reason about the past: does what is true now depend on what was true in the past, before certain actions were executed? We show that the multiplicative connectives can be eliminated from a logical language with also epistemic and action model modalities, if the horizon (...) of epistemic actions is bounded. (shrink)

We model three examples of beliefs that agents may have about other agents' beliefs, and provide motivation for this conceptualization from the theory of mind literature. We assume a modal logical framework for modelling degrees of belief by partially ordered preference relations. In this setting, we describe that agents believe that other agents do not distinguish among their beliefs ('no preferences'), that agents believe that the beliefs of other agents are in part as their own ('my preferences'), and the special (...) case that agents believe that the beliefs of other agents are exactly as their own ('preference refinement'). This multi-agent belief interaction is frame characterizable. We provide examples for introspective agents. We investigate which of these forms of belief interaction are preserved under three common forms of belief revision. (shrink)

Where did the universe come from? Is life a result of chance, or design? If God is loving and all-powerful, why does evil still exist? Is religious belief just a byproduct of undirected evolutionary processes? Or did God make sure humans would evolve in such a way as to believe? Are philosophers closed-minded about religion? And why is so much of philosophy of religion about God-but not about gods? Introduction to Philosophy: Philosophy of Religion introduces students to some of the (...) major traditional arguments for and against the existence of God. It also includes discussions of some less well-known, but thought-provoking arguments for the existence of God, and one of the most important new challenges to religious belief from the Cognitive Science of Religion. An introductory chapter traces the deep interconnections between philosophy and religion throughout Western history, and a final chapter considers what place there is for non-Western and non-monotheistic religions within contemporary philosophy of religion. Whatever your religious beliefs-or lack of beliefs-we think you will find many of the arguments in this book fascinating to think about, and useful starting points for deeper philosophical discussions. (shrink)

This volume consists of several contributions to a refined understanding of religious experience in view of contemporary theological epistemology.

This paper explores the relation between evolutionary explanations of religious belief and a core idea in both classical Christian theology and Reformed Epistemology, namely that humans have fallen into sin. In particular, it challenges the claim made by De Cruz and De Smedt that ‘ in the light of current evolutionary and cognitive theories, the Reformed epistemological view of NES [the noetic effects of sin] is in need of revision.’ Three possible solutions to this conundrum are examined, two of which (...) are shown to be plausible. (shrink)

Dynamic Epistemic Logic is the logic of knowledge change. This book provides various logics to support such formal specifications, including proof systems. Concrete examples and epistemic puzzles enliven the exposition. The book also offers exercises with answers. It is suitable for graduate courses in logic. Many examples, exercises, and thorough completeness proofs and expressivity results are included. A companion web page offers slides for lecturers and exams for further practice.

A proposition is noncontingent, if it is necessarily true or it is necessarily false. In an epistemic context, ‘a proposition is noncontingent’ means that you know whether the proposition is true. In this paper, we study contingency logic with the noncontingency operator? but without the necessity operator 2. This logic is not a normal modal logic, because?→ is not valid. Contingency logic cannot define many usual frame properties, and its expressive power is weaker than that of basic modal logic over (...) classes of models without reflexivity. These features make axiomatizing contingency logics nontrivial, especially for the axiomatization over symmetric frames. In this paper, we axiomatize contingency logics over various frame classes using a novel method other than the methods provided in the literature, based on the ‘almost-definability’ schema AD proposed in our previous work. We also present extensions of contingency logic with dynamic operators. Finally, we compare our work to the related work in the fields of contingency logic and ignorance logic, where the two research communities have similar results but are apparently unaware of each other’s work. One goal of our paper is to bridge this gap. (shrink)

Popular press suggests that gender diversity benefits the performance of work groups. However, decades of research indicate that such performance benefits of gender diversity are anything but a given. To account for this incongruity, in this conceptual paper we argue that the performance of gender-diverse work groups is often inhibited by self-reinforcing gender role expectations. We use the analogy of a flywheel to illustrate how gender role expectations tend to reinforce themselves via three mechanisms. Specifically, we argue that gender role (...) expectations shape (a) the allocation of jobs, tasks, and responsibilities, (b) the behavior of perceivers, and (c) the behavior of target women and men. In turn, these three consequences of gender role expectations tend to confirm the initial gender role expectations, thus creating an automatic, self-reinforcing flywheel effect. Such self-reinforcing gender role expectations provide superficial impressions of individual women and men’s actual knowledge and abilities at best. We therefore further propose that each of the three mechanisms of the flywheel of gender role expectations negatively affects group performance to the extent that gender role expectations inaccurately capture group members’ actual knowledge and abilities. Because the extent to which work group members rely on gender role expectations depends on how they form impressions of others, we propose that individuals’ motivation to form accurate impressions is crucial for inhibiting the flywheel of gender role expectations. We close by advancing an agenda for future research on each of the three areas of interest in our conceptual analysis: the flywheel effect of gender role expectations, the consequences of this flywheel effect for group functioning, and ways to motivate group members to form accurate impressions. (shrink)

This is a case-study in knowledge representation and dynamic epistemic protocol verification. We analyze the ‘one hundred prisoners and a lightbulb’ puzzle. In this puzzle it is relevant what the agents know, how their knowledge changes due to observations, and how they affect the state of the world by changing facts, i.e., by their actions. These actions depend on the history of previous actions and observations. Part of its interest is that all actions are local, i.e. not publicly observable, and (...) part of the problem is therefore how to disseminate local results to other agents, and make them global. The various solutions to the puzzle are presented as protocols. The paper consists of three parts. First, we present different versions of the puzzle, and their solutions. This includes a probabilistic version, and a version assuming synchronicity. The latter is very informative for the prisoners, and allows different protocols. Then, we model the puzzle in an epistemic logic incorporating dynamic operators for the effects of information changing events. Such events include both informative actions, where agents become more informed about the non-changing state of the world, and factual changes, wherein the world and the facts describing it change themselves as well. Finally, we verify the basic protocol to solve the problem. Novel contributions in this paper are: Firstly, Protocol 2 and Protocol 4. Secondly, the modelling in dynamic epistemic logic in its entirety — we do not know of a case study that combines factual and informational dynamics in a setting of non-public events, or of a similar proposal to handle asynchronous behaviour in a dynamic epistemic logic. Thirdly, our method to verify dynamic epistemic protocols by reasoning over possibly infinite execution sequences of these protocols. A precursor of the present paper, entitled ‘One hundred prisoners and a lightbulb – logic and computation’, was presented at KR 2010, Toronto. The differences with the present contribution are as follows: the former contains a section with computational results, whereas the focus of the present paper is the verification of one of the presented protocols in the former. (shrink)

We provide an ethical evaluation of the debate on managing diversity within teams and organizations between equality and business case scholars. Our core assertion is that equality and business case perspectives on diversity from an ethical reading appear stuck as they are based on two different moral perspectives that are difficult to reconcile with each other. More specifically, we point out how the arguments of equality scholars correspond with moral reasoning grounded in deontology, whereas the foundations of the business case (...) perspective are crafted by utilitarian arguments. We show that the problems associated with each diversity perspective correspond with the traditional concerns with the two moral perspectives. To resolve this stalemate position, we argue that the equality versus business case debate needs to be approached from a third, less well-known moral perspective (i.e. virtue ethics). We posit that a focus on virtues can enhance equality by reducing prejudice and illustrate this by applying it to the HRM domains of recruitment and selection and of performance management. Subsequently, we argue that values are key to aligning virtues with each other and with corporate strategy, delineate our values and virtues perspective on diversity, and argue why and how it can enhance organizational performance. (shrink)

Fitch showed that not every true proposition can be known in due time; in other words, that not every proposition is knowable. Moore showed that certain propositions cannot be consistently believed. A more recent dynamic phrasing of Moore-sentences is that not all propositions are known after their announcement, i.e., not every proposition is successful. Fitch's and Moore's results are related, as they equally apply to standard notions of knowledge and belief (S 5 and KD45, respectively). If we interpret ‘successful’ as (...) ‘known after its announcement’ and ‘knowable’ as ‘known after some announcement’, successful implies knowable. Knowable does not imply successful: there is a proposition ϕ that is not known after its announcement but there is another announcement after which ϕ is known. We show that all propositions are knowable in the more general sense that for each proposition, it can become known or its negation can become known. We can get to know whether it is true: ◊(Kϕ ∨ K¬ϕ). This result comes at a price. We cannot get to know whether the proposition was true. This restricts the philosophical relevance of interpreting ‘knowable’ as ‘known after an announcement’. (shrink)

We look at lying as an act of communication, where (i) the proposition that is communicated is not true, (ii) the utterer of the lie knows that what she communicates is not true, and (iii) the utterer of the lie intends the lie to be taken as truth. Rather than dwell on the moral issues, we provide a sketch of what goes on logically when a lie is communicated. We present a complete logic of manipulative updating, to analyse the effects (...) of lying in public discourse. Next, we turn to the study of lying in games. First, a game-theoretical analysis is used to explain how the possibility of lying makes such games interesting, and how lying is put to use in optimal strategies for playing the game. Finally, we give a matching logical analysis. Our running example of lying in games in liar’s dice. (shrink)

Although agreement on the positive sign of the relationship between corporate social and financial performance is observed in the literature, the mechanisms that constitute this relationship are not yet well-known. We address this issue by extending management’s stakeholder theory by adding insights from psychology’s prospect decision theory and sociology’s resource dependence theory. Empirically, we analyze an extensive panel dataset, including information on disaggregated measures of social performance for the S&P 500 in the 1997–2002 period. In so doing, we enrich the (...) extant literature by focusing on stakeholder heterogeneity, perceptional framing, and disaggregated measures of corporate social performance. (shrink)

This is a case-study in knowledge representation. We analyze the ‘one hundred prisoners and a lightbulb’ puzzle. In this puzzle it is relevant what the agents (prisoners) know, how their knowledge changes due to observations, and how they affect the state of the world by changing facts, i.e., by their actions. These actions depend on the history of previous actions and observations. Part of its interest is that all actions are local, i.e. not publicly observable, and part of the problem (...) is therefore how to disseminate local results to other agents, and make them global. The various solutions to the puzzle are presented as protocols (iterated functions from agent’s local states, and histories of actions, to actions). The computational aspect is about average runtime termination under conditions of random (‘fair’) scheduling. (shrink)

Parametric cognitive models are increasingly popular tools for analyzing data obtained from psychological experiments. One of the main goals of such models is to formalize psychological theories using parameters that represent distinct psychological processes. We argue that systematic quantitative reviews of parameter estimates can make an important contribution to robust and cumulative cognitive modeling. Parameter reviews can benefit model development and model assessment by providing valuable information about the expected parameter space, and can facilitate the more efficient design of experiments. (...) Importantly, parameter reviews provide crucial—if not indispensable—information for the specification of informative prior distributions in Bayesian cognitive modeling. From the Bayesian perspective, prior distributions are an integral part of a model, reflecting cumulative theoretical knowledge about plausible values of the model's parameters (Lee,2018). In this paper we illustrate how systematic parameter reviews can be implemented to generate informed prior distributions for the Diffusion Decision Model (DDM; Ratcliff and McKoon,2008), the most widely used model of speeded decision making. We surveyed the published literature on empirical applications of the DDM, extracted the reported parameter estimates, and synthesized this information in the form of prior distributions. Our parameter review establishes a comprehensive reference resource for plausible DDM parameter values in various experimental paradigms that can guide future applications of the model. Based on the challenges we faced during the parameter review, we formulate a set of general and DDM-specific suggestions aiming to increase reproducibility and the information gained from the review process. (shrink)

We model the ‘100 prisoners and a lightbulb’ puzzle in an epistemic logic incorporating dynamic operators for the effects of information changing events. Such events include both informative actions, where agents become more informed about the non-changing state of the world, and factual changes, wherein the world and the facts describing it change themselves as well. We specify the underlying nondeterministic protocol and verify its postconditions in a recent extension of the model checker DEMO with factual change. We also present (...) a synchronized version of the riddle, for which there are also other protocols, and we report on efforts to minimize the expected termination of such protocols when assuming random scheduling. (shrink)

Dynamic Epistemic Logic This article tells the story of the rise of dynamic epistemic logic, which began with epistemic logic, the logic of knowledge, in the 1960s. Then, in the late 1980s, came dynamic epistemic logic, the logic of change of knowledge. Much of it was motivated by puzzles and paradoxes. The number … Continue reading Dynamic Epistemic Logic →.

Hans van Ditmarsch, Wiebe van der Hoek and Barteld Kooi (2011). Reasoning about local properties in modal logic. In K. Tumer and P. Yolum and L. Sonenberg and P. Stone (editors). Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), pp. 711-718.

BackgroundThe COVID-19 pandemic has created ethical challenges for intensive care unit (ICU) professionals, potentially causing moral distress. This study explored the levels and causes of moral distress and the ethical climate in Dutch ICUs during COVID-19.MethodsAn extended version of the Measurement of Moral Distress for Healthcare Professionals (MMD-HP) and Ethical Decision Making Climate Questionnaire (EDMCQ) were online distributed among all 84 ICUs. Moral distress scores in nurses and intensivists were compared with the historical control group one year before COVID-19. ResultsThree (...) hundred forty-five nurses (70.7%), 40 intensivists (8.2%), and 103 supporting staff (21.1%) completed the survey. Moral distress levels were higher for nurses than supporting staff. Moral distress levels in intensivists did not differ significantly from those of nurses and supporting staff. “Inadequate emotional support for patients and their families” was the highest-ranked cause of moral distress for all groups of professionals. Of all factors, all professions rated the ethical climate most positively regarding the culture of mutual respect, ethical awareness and support. “Culture of not avoiding end-of-life-decisions” and “Self-reflective and empowering leadership” received the lowest mean scores. Moral distress scores during COVID-19 were significantly lower for ICU nurses (p < 0.001) and intensivists (p < 0.05) compared to one year prior.ConclusionLevels and causes of moral distress vary between ICU professionals and differ from the historical control group. Targeted interventions that address moral distress during a crisis are desirable to improve the mental health and retention of ICU professionals and the quality of patient care. (shrink)